6d8cb991e12e52ad5e8db8bbb7f03e5abf936bee,basex-core/src/main/java/org/basex/query/expr/If.java,If,optimize,#CompileContext#,62
Before Change
if(b == Bln.FALSE) {
// if(A) then false() else C -> not(A) and C
cc.info(OPTREWRITE_X, this);
final Expr notA = cc.function(Function.NOT, info, a).optimize(cc);
return new And(info, notA, c).optimize(cc);
}
if(c == Bln.FALSE) {
After Change
if(b == Bln.FALSE) {
// if(A) then false() else C -> not(A) and C
cc.info(OPTREWRITE_X, this);
return new And(info, cc.function(Function.NOT, info, a), c).optimize(cc);
}
if(c == Bln.FALSE) {